Deducing logic programsWONG, Ka-Shu.Lecture notes in computer science. 2006, pp 471-472, issn 0302-9743, isbn 3-540-36635-0, 1Vol, 2 p.Conference Paper

CSL 2005 : computer science logic (Oxford, 22-25 August 2005)Ong, Luke.Lecture notes in computer science. 2005, issn 0302-9743, isbn 3-540-28231-9, XI, 565 p, isbn 3-540-28231-9Conference Proceedings

Logic programming (Saint Malo, 6-10 September 2004)Demoen, Bart; Lifschitz, Vladimir.Lecture notes in computer science. 2004, issn 0302-9743, isbn 3-540-22671-0, XII, 480 p, isbn 3-540-22671-0Conference Proceedings

The period constraintBELDICEANU, Nicolas; PODER, Emmanuel.Lecture notes in computer science. 2004, pp 329-342, issn 0302-9743, isbn 3-540-22671-0, 14 p.Conference Paper

Self-adjusting computationHARPER, Robert.Symposium on Logic in Computer Science. 2004, pp 254-255, isbn 0-7695-2192-4, 1Vol, 2 p.Conference Paper

Computer science logic (Vienna, 25-30 August 2003)Baaz, Matthias; Makowsky, Johann A.Lecture notes in computer science. 2003, issn 0302-9743, isbn 3-540-40801-0, XII, 590 p, isbn 3-540-40801-0Conference Proceedings

Handling incomplete and complete tables in tabled logic programsROCHA, Ricardo.Lecture notes in computer science. 2006, pp 427-428, issn 0302-9743, isbn 3-540-36635-0, 1Vol, 2 p.Conference Paper

Logic based program synthesis and transformation (15th international symposium, LOPSTR 2005, London, UK, September 7-9, 2005)Hill, Patricia.Lecture notes in computer science. 2006, issn 0302-9743, isbn 3-540-32654-5, 1Vol, X-178 p, isbn 3-540-32654-5Conference Proceedings

On the BEAM implementationLOPES, Ricardo; SANTOS COSTA, Vitor; SILVA, Fernando et al.Lecture notes in computer science. 2003, pp 131-135, issn 0302-9743, isbn 3-540-20589-6, 5 p.Conference Paper

Logical and meta-logical frameworksPFENNING, F.Lecture notes in computer science. 1999, issn 0302-9743, isbn 3-540-66540-4, p. 206Conference Paper

Logic programming (22nd international conference, ICLP 2006)Etalle, Sandro; Truszczyński, Mirosław.Lecture notes in computer science. 2006, issn 0302-9743, isbn 3-540-36635-0, 1Vol, XIV-474 p, isbn 3-540-36635-0Conference Proceedings

Logic programming (Paphos, 26 November - 1 December 2001)Codognet, Philippe.Lecture notes in computer science. 2001, issn 0302-9743, isbn 3-540-42935-2, XI, 364 p, isbn 3-540-42935-2Conference Proceedings

A categorical semantics of quantum protocolsABRAMSKY, Samson; COECKE, Bob.Symposium on Logic in Computer Science. 2004, pp 415-425, isbn 0-7695-2192-4, 1Vol, 11 p.Conference Paper

ILP 2002 : inductive logic programming (Sydney, 9-11 July 2002, revised papers)Matwin, Stan; Sammut, Claude.Lecture notes in computer science. 2003, issn 0302-9743, isbn 3-540-00567-6, X, 349 p, isbn 3-540-00567-6Conference Proceedings

An external module for implementing linear tabling in prologSILVA, Claudio; ROCHA, Ricardo; LOPES, Ricardo et al.Lecture notes in computer science. 2006, pp 429-430, issn 0302-9743, isbn 3-540-36635-0, 1Vol, 2 p.Conference Paper

Towards an implicit characterization of NC^kBONFANTE, G; KAHLE, R; MARION, J.-Y et al.Lecture notes in computer science. 2006, pp 212-224, issn 0302-9743, isbn 3-540-45458-6, 1Vol, 13 p.Conference Paper

Relaxation on optimization predicatesGUO, Hai-Feng; MIAO LIU; JAYARAMAN, Bharat et al.Lecture notes in computer science. 2006, pp 425-426, issn 0302-9743, isbn 3-540-36635-0, 1Vol, 2 p.Conference Paper

Involutive monoidal t-norm-based logic and R₀ logicLIU LIANZHEN; LI KAITAI.International journal of intelligent systems. 2004, Vol 19, Num 6, pp 491-497, issn 0884-8173, 7 p.Article

Computable numberingsBADAEV, Serikzhan.Lecture notes in computer science. 2003, issn 0302-9743, isbn 3-540-20101-7, p. 213Conference Paper

Scheduling in SLG revisitedFREIRE, J; SWIFT, T; WARREN, D. S et al.Tabulation en analyse syntaxique et déduction. Journées. 1998, pp 62-66Conference Paper

L-nets, strategies and proof-netsCURIEN, Pierre-Louis; FAGGIAN, Claudia.Lecture notes in computer science. 2005, pp 167-183, issn 0302-9743, isbn 3-540-28231-9, 17 p.Conference Paper

Integrating an answer set solver into prolog : ASP - PROLOGELKHATIB, Omar; PONTELLI, Enrico; TRAN CAO SON et al.Lecture notes in computer science. 2005, pp 399-404, issn 0302-9743, isbn 3-540-28538-5, 6 p.Conference Paper

[AGOP'2003]CALVO, Tomasa; MESIAR, Radko.Kybernetika. 2004, Vol 40, Num 1, issn 0023-5954, 150 p.Conference Proceedings

Dynamic Contextual Intensional Logic: Logical foundations and an applicationTHOMASON, Richmond H.Lecture notes in computer science. 2003, pp 328-341, issn 0302-9743, isbn 3-540-40380-9, 14 p.Conference Paper

Learning action theories with ramificationsLORENZO, David.Lecture notes in computer science. 2003, pp 259-263, issn 0302-9743, isbn 3-540-20589-6, 5 p.Conference Paper